#include <stdio.h>

void i_c_c()
{
  /*4005fc:	a9be7bfd 	stp	x29, x30, [sp, #-32]!
  400600:	910003fd 	mov	x29, sp
  400604:	52809a40 	mov	w0, #0x4d2               	// #1234
  400608:	b9001fa0 	str	w0, [x29, #28]*/
	int a = 1234;

  /*40060c:	b9001bbf 	str	wzr, [x29, #24]*/
	int b = 0;

  /*400610:	b9401fa0 	ldr	w0, [x29, #28]				// 1234
  400614:	5289ba61 	mov	w1, #0x4dd3                	// #19923
  400618:	72a20c41 	movk	w1, #0x1062, lsl #16	// w1 = 0x10624dd3
  40061c:	9b217c01 	smull	x1, w0, w1				// 1234*274877907 = 339199337238 = 0x4E F9DB 2316
  400620:	d360fc21 	lsr	x1, x1, #32					// x1 = 0x4E
  400624:	13067c21 	asr	w1, w1, #6					// w1 = (0x4E>>6) = 1	(2^38)/274877907 = 999.9999 = 1000
  400628:	131f7c00 	asr	w0, w0, #31					// w0 = 0
  40062c:	4b000020 	sub	w0, w1, w0					// w0 = w1-w0 = 1
  400630:	b9001ba0 	str	w0, [x29, #24]*/
	b = a / 1000;

  /*400634:	90000000 	adrp	x0, 400000 <_init-0x480>
  400638:	911c8000 	add	x0, x0, #0x720
  40063c:	52801d42 	mov	w2, #0xea                  	// #234
  400640:	b9401ba1 	ldr	w1, [x29, #24]
  400644:	97ffffab 	bl	4004f0 <printf@plt>*/
	printf("%d %d\n", b, 0xea);

  /*400648:	d503201f 	nop
  40064c:	a8c27bfd 	ldp	x29, x30, [sp], #32
  400650:	d65f03c0 	ret*/
}

int main()
{
  /*400654:	a9bf7bfd 	stp	x29, x30, [sp, #-16]!
  400658:	910003fd 	mov	x29, sp
  40065c:	97ffffe8 	bl	4005fc <i_c_c>*/
	i_c_c();

  /*400660:	52800000 	mov	w0, #0x0                   	// #0
  400664:	a8c17bfd 	ldp	x29, x30, [sp], #16
  400668:	d65f03c0 	ret
  40066c:	00000000 	.inst	0x00000000 ; undefined*/
	return 0;
}

